On the notion of "von Neumann vicious circle" coined by John Backus

نویسنده

  • Stanislaw Ambroszkiewicz
چکیده

“The von Neumann vicious circle” means that non-von Neumann computer architectures cannot be developed because of the lack of widely available and effective non-von Neumann languages. New languages cannot be created because of lack of conceptual foundations for non-von Neumann architectures. The reason is that programming languages are high-level abstract isomorphic copies of von Neumann computer architectures. This constitutes the cur-isomorphic copies of von Neumann computer architectures. This constitutes the current paradigm in Computer Science. The paradigm is equivalent to the predominant view that computations on higher order objects (functionals) can be done only symbolically, i.e. by term rewriting. The paper is a short introduction to the papers arxiv.org/abs/1501.03043 and arxiv.org/abs/1510.02787 trying to break the paradigm by introducing a framework that may be seen as a higher order HDL (Hardware Description Language).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Long Waiting Times for Elective Hospital Care – Breaking the Vicious Circle by Abandoning Prioritisation

Background Policies assigning low-priority patients treatment delays for care, in order to make room for patients of higher priority arriving later, are common in secondary healthcare services today. Alternatively, each new patient could be granted the first available appointment. We aimed to investigate whether prioritisation can be part of the reason why waiting times for care are often...

متن کامل

Calculating Different Topological Indices of Von Neumann Regular Graph of Z_(p^α )

By the Von Neumann regular graph of R, we mean the graph that its vertices are all elements of R such that there is an edge between vertices x,y if and only if x+y is a von Neumann regular element of R, denoted by G_Vnr (R). For a commutative ring R with unity, x in R is called Von Neumann regular if there exists x in R such that a=a2 x. We denote the set of Von Neumann regular elements by V nr...

متن کامل

Can Programming Be Liberated from von Neumann Style? A Functional Style and Its Algebra of Programs, 1977

The 1977 A C M Taring Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committee, made the following comments and read a portion of the final citation. The full announcement is in the September 1977 issue of C o m m u n i c a t i o n s , page 681. "Probably there is nobody in the room w...

متن کامل

Quantum State Reduction: An Operational Approach

A rigorous theory of quantum state reduction, the state change of the measured system caused by a measurement conditional upon the outcome of measurement, is developed fully within quantum mechanics without leading to the vicious circle relative to the von Neumann chain. For the basis of the theory, the local measurement theorem provides the joint probability distribution for the outcomes of lo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1602.02715  شماره 

صفحات  -

تاریخ انتشار 2016